41. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
موضوع : ، Integrated circuits-- Verification
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
42. Hardware design verification : simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C., 2691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
L248H2
43. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
44. Hardware verification with SystemVerilog
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object
45. Integrated Circuit Authentication
پدیدآورنده : \ Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification.,Hardware Trojans (Computers),مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
46. Integrated circuit authentication
پدیدآورنده : / Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits, Verification,Hardware Trojans (Computers),Engineering,Circuits and Systems,Processor Architectures,Electronic Circuits and Devices
رده :
E-BOOK
47. Integrated circuit authentication :hardware trojans and counterfeit detection
پدیدآورنده : Tehranipoor, Mohammad,Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Verification ، Integrated circuits,، Hardware Trojans )Computers(,، Engineering,، Circuits and Systems,، Processor Architectures,، Electronic Circuits and Devices
رده :
TK7874
.
58
48. Introduction to formal hardware verification
پدیدآورنده : Kropf, Thomas
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Integrated circuits - Very large scale integration - Computer-aided design , Integrated circuits - Verification
رده :
TK
7874
.
75
.
K76
1999
49. Logic synthesis and verification algorithms
پدیدآورنده : Hachtel, Gary D.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Design-- Data processing,، Logic design-- Data processing,، Integrated circuits-- Verification,، Computer-aided design
رده :
TK
7874
.
75
.
H33
1996
50. Metric-driven design verification
پدیدآورنده : / Hamilton B. Carter, Shankar Hemmady
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Integrated circuits, Verification
رده :
TK7874
.
58
.
C37
2007
51. Models in hardware testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Electronic digital computers ; Circuits ; Testing. ; Integrated circuits ; Verification. ; Integrated circuits ; Computer simulation. ;
52. Practical design verification
پدیدآورنده : edited by Dhiraj K. Pradhan, Ian G. Harris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
P72
53. Principles of functional verification
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ;
54. Professional verificatio
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits, Verification,Electronic books., local
رده :
TK7874
.
58
.
W55
,
2004eb
55. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits , Verification,Integrated circuits , Design and construction,Electronic books. , local
رده :
E-BOOK
56. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
E-BOOK
57. Professional verification
پدیدآورنده : / Paul Wilcox
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Integrated circuits- Verification,Integrated circuits- Design and construction
رده :
TK7874
.
58
.
W55
2004
58. Reasoning in Boolean networks
پدیدآورنده : / by Wolfgang Kunz and Dominik Stoffel
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Integrated circuits, Very large scale integration, Testing, Data processing,Integrated circuits, Verification, Data processing,Logic design, Data processing
رده :
TK7874
.
K866
1997
59. Reasoning in Boolean networks: logic synthesis and verification using testing techniques
پدیدآورنده : Kunz, Wolfgang
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Integrated circuits-- Very large scale integration-- Testing-- Data processing,، Integrated circuits-- Verification-- Data processing,، Logic design-- Data processing
رده :
TK
7874
.
K866
1997